Primitive types - PDFSEARCH.IO - Document Search Engine

Primitive types
Results: 885

#	Item
101	A Veried Run-Time Structure for Pure PreScheme Dino P. Oliva Mitchell Wand College of Computer Science Northeastern University Add to Reading List Source URL: repository.readscheme.org Language: English - Date: 2010-10-22 08:04:41 Data types Primitive types Procedural programming languages PreScheme Scheme programming language Stack Pointer Forth Env Computing Software engineering Computer programming
102	VLISP Byte Code Interpreter Vipin Swarup William M. Farmer Leonard G. Monk Add to Reading List Source URL: repository.readscheme.org Language: English - Date: 2010-10-22 08:04:41 Logic in computer science Programming language semantics Data types Operational semantics Actor model Interpreter Scheme Primitive data type Programming language Software engineering Computing Programming language theory
103	1 Syntactic soundness proof of a type-and-capability system with hidden state FRANÇOIS POTTIER Add to Reading List Source URL: gallium.inria.fr Language: English - Date: 2012-09-21 10:50:57 Data types Computer programming Object-oriented programming Primitive types Programming paradigms Type system Subtype polymorphism Soundness Reference Software engineering Type theory Computing
104	UKWDA Training: CIW Web Development Series Perl Specialist Exam Objectives [Exam 1D0-437]  Add to Reading List Source URL: training.ukwda.org Language: English - Date: 2012-09-08 06:05:23 Data types Cross-platform software Procedural programming languages Perl Primitive types C Boolean data type Subroutine SQL Computing Software engineering Computer programming
105	Safe and Secure Software An Invitation to Ada Add to Reading List Source URL: www.adacore.com Language: English - Date: 2012-03-22 11:54:57 Computer programming Type theory Type conversion Primitive data type Subtype polymorphism Ada Array data type Enumerated type C Software engineering Computing Data types
106	User-Defined Tables in the R Search Path Duncan Temple Lang July 23, 2012 Abstract We present a mechanism for allowing the use of general C and R code for binding name-value pairs in the R search path. This allows users Add to Reading List Source URL: www.omegahat.org Language: English - Date: 2012-07-23 21:22:12 Data types Primitive types C++ Cross-platform software Method C++ classes Constant Closure SQL Software engineering Computing Computer programming
107	INtime Exception Handling Add to Reading List Source URL: www.tenasys.com Language: English - Date: 2012-10-11 17:57:55 Computer arithmetic Real-time operating systems Computer errors Primitive types Exception handling RMX Page fault Floating point Printf format string Computing Control flow Software engineering
108	ISO/IEC JTC1/SC22/WG5 N1891 The new features of Fortran 2008 John Reid, JKR Associates, UK March 13, 2014 Abstract Add to Reading List Source URL: www.fortranplus.co.uk Language: English - Date: 2015-05-25 06:06:32 Data types Procedural programming languages Primitive types Fortran Cross-platform software Pointer C Array data type Module Computing Software engineering Computer programming
109	EE335 Advanced Microcontroller Engineering Oregon Tech Portland, Winter 2014 Lab Assignment #9 - Floating Point Due March 13 Objectives: Demonstrate how floating point can be used instead of integers in calculations Add to Reading List Source URL: www.almy.us Language: English - Date: 2013-12-20 12:17:22 Computer architecture Central processing unit Data types Primitive types Procedural programming languages Floating point Microcontroller C Q Computing Computer arithmetic Software engineering
110	EÆ ient Inferen e of Stati ? Types for Java Byte ode Etienne M. Gagnon, Laurie J. Hendren and Guillaume Mar eau Sable Resear h Group, S hool of Computer S ien e M Gill University, Montreal, Canada [gagnon,hendren,gmar e Add to Reading List Source URL: gmarceau.qc.ca Language: English - Date: 2008-03-12 13:57:33 Computing Primitive types Programming language theory Compiler construction Static single assignment form Type system String Byte Type safety Data types Software engineering Type theory

UPDATE